6^log(6, 9)